Software security assurance - PDFSEARCH.IO - Document Search Engine

Software security assurance
Results: 433

#	Item
251	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.org Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
252	CPA Security Characteristic - Software Full Dick Encryptio Version 1.22 Add to Reading List Source URL: www.cesg.gov.uk Language: English - Date: 2013-07-17 00:20:58 Evaluation Cryptographic software Cyberwarfare Freedom of information legislation Cryptography Freedom of Information Act Common Criteria Commercial Product Assurance Encryption Disk encryption Security Computer security
253	UNCLASSIFIED[removed] CPA SECURITY CHARACTERISTIC IPSEC VPN FOR REMOTE WORKING – SOFTWARE CLIENT Add to Reading List Source URL: www.cesg.gov.uk Language: English - Date: 2013-05-14 00:20:45 Cryptography Data IPsec Internet Key Exchange Internet security Virtual private network Government Communications Headquarters Freedom of Information Act Commercial Product Assurance Cryptographic protocols Computer network security Computing
254	SOLUTION OVERVIEW Coverity Software Testing Platform The Coverity® Software Testing Platform helps teams identify, manage and remediate critical quality and security defects and improve the overall efficiency of their Add to Reading List Source URL: www.coverity.com Language: English - Date: 2014-07-10 13:20:04 Coverity Application security Application lifecycle management Quality assurance Test automation Software development process Unit testing Software quality Code coverage Software testing Software development Software
255	Software Encryption of Removable Media Add to Reading List Source URL: www.cesg.gov.uk Language: English - Date: 2012-02-09 12:16:48 Freedom of information legislation Cryptography Computer network security National security Freedom of Information Act Commercial Product Assurance Government Communications Headquarters Passphrase Security Computer security Evaluation
256	software full disk encryption Add to Reading List Source URL: www.cesg.gov.uk Language: English - Date: 2013-05-09 00:20:29 Evaluation Cryptographic software Cyberwarfare Freedom of information legislation Cryptography Freedom of Information Act Common Criteria Commercial Product Assurance Encryption Disk encryption Security Computer security
257	OIYP and Digital Security What is ‘digital security’? Digital security can be defined as the protection of the „online self‟, meaning the assurance that the integrity and privacy of the user‟s personal data is Add to Reading List Source URL: oiyp.oxfam.org.au Language: English - Date: 2012-09-25 22:32:50 Web 2.0 Cross-platform software Social media Android software Internet privacy Facebook Gmail Twitter Skype Software Computing World Wide Web
258	I N S T I T U T E F O R D E F E N S E A N A LYS E S State-of-the-Art Resources (SOAR) for Software Vulnerability Detection, Test, and Evaluation Add to Reading List Source URL: www.acq.osd.mil Language: English - Date: 2014-08-11 16:06:02 Cyberwarfare Fault injection Vulnerability Software assurance Computer virus Software quality Fuzz testing Application security Data & Analysis Center for Software Software testing Computer security Security
259	DARPA SBIR/STTR TOPIC NAME: MODULAR OPEN ARCHITECTURE INTELLIGENT CONTROLLERS FOR GENERAL PURPOSE MACHINE TOOLS topic number: SB91-050 contract number: DAAH01-93-C-R079 Add to Reading List Source URL: dtsn.darpa.mil Language: English - Date: 2013-08-08 12:40:03 Department of Defense Information Assurance Certification and Accreditation Process Cybernet Linux Berkeley Software Distribution Computer security FreeBSD Computing Computing platforms DARPA
260	The United States Department of Defense Revitalization of System Security Engineering Through Program Protection Kristen Baldwin John F. Miller Add to Reading List Source URL: www.acq.osd.mil Language: English - Date: 2012-04-11 09:58:22 Computer network security Software quality Data security Software testing Software assurance Vulnerability Information security management system Mission assurance Information assurance Security Computer security Cyberwarfare

UPDATE